141. Frontiers of combining systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
پدیدآورنده: Alessandro Armando )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2309
142. Frontiers of combining systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
پدیدآورنده: Bernhard Gramlich )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
3717
143. Frontiers of combining systems : third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
پدیدآورنده: Helene Kirchner, Christophe Ringeissen, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1794
144. Fuzzy approach to reasoning and decision-making
پدیدآورنده: / EDited by Vilem Novak
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Fuzzy systems ــ Congresses.,Logic, Symbolic and mathematical ــ Congresses.,Decision making ــ Congresses.
رده :
QA
248
.
F84
1991
145. Fuzzy approach to reasoning and decision-making : selected papers of the international symposium held at Bechyne, from June 25 to 29, 1990
پدیدآورنده: edited by Vilem Novak ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Fuzzy systems - Congresses , Logic, Symbolic and mathematical - Congresses , Decision-making - Congresses
رده :
QA
248
.
F84
1990
146. Fuzzy approach to reasoning and decision-making: selected papers of the international symposium held at Bechyne, from June 25 to 29, 1990
پدیدآورنده: edited by Vilem Novak ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Fuzzy systems,Congresses ، Logic, Symbolic and mathematical,Congresses ، Decision making
رده :
QA
248
.
F84
1992
147. Games, norms and reasons :logic at the crossroads
پدیدآورنده: Johan van Benthem, Amitabba Gupta and Eric Pacuit
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Parikh, Rohit,6391-,Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical
رده :
BC
108
.
G36
2011
148. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
149. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
150. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
151. Gödel remembered :
پدیدآورنده: R. Gödel [and others] ; edited by Paul Weingartner and Leopold Schmetterer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt,Logic, Symbolic and mathematical, Congresses,Logiciens - États-Unis - Biographies,Logique symbolique et mathématique
رده :
QA9
.
A1
G63
1987
152. Godel remembered : Salzburg 10-12 July 1983
پدیدآورنده: R. Godel ... ]et al.[; edited by Paul Weingartner and Leopold Schmetterer
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1G63
1987
153. Grammatical inference
پدیدآورنده: / Josae M. Sempere, Pedro Garcaia (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA267
.
3
.
I55
2010
154. Grammatical inference : Learning syntax from sentences : Third International Colloquium, ICGI-96 Montpellier, France, September 25-27, 1996 : proceedings
پدیدآورنده: Laurent Miclet, Colin de la Higuera )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1147
155. Grammatical inference : algorithms and applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings
پدیدآورنده: Georgios Paliouras, Yasubumi Sakakibara )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3264
156. Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings
پدیدآورنده: Arlindo L. Oliveira )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1891
157. Grammatical inference : algorithms and applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
پدیدآورنده: Yasubumi Sakakibara....]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4201
158. Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings
پدیدآورنده: Pieter Adriaans, Henning Fernau, Menno van Zaanen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2484
159. Grammatical inference and applications : second International colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
پدیدآورنده: Rafael C. Carrasco, Jose Oncina, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
862
160. Grammatical inference : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
پدیدآورنده: Vasant Honavar, Giora Slutzki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1433
